Nuprl Definition : predicate_or
11,40
postcript
pdf
(
P1
P2
)(
x
) == (
P1
(
x
))
(
P2
(
x
))
latex
Definitions
x
.
A
(
x
)
,
P
Q
,
f
(
a
)
FDL editor aliases
predicate_or
origin
P2)(x) == (P1(x)) (P2(x)) P2)(x) == (P1(x)) (P2(x)) 
x.A(x) Q